Statement And Assumption Reasoning